退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:转换类型和统一,用于自动纠正不安全的程序
Köpf, Boris; Mantel, Heiko;
机译:证明基于递归的自动程序转换的正确性
机译:逻辑程序转换的自动正确性证明
机译:自动证明程序分析和转换的正确性。
机译:具有2型糖尿病的成人补贴健康食品处方方案他们正在经历粮食不安全:随机对照试验的议定书
机译:通过统一和关键对计算实现程序转换的正确性
机译:自动变换在程序验证中的应用
机译:用于自动生成校正程序的程序,自动生成程序的方法,以及用于自动生成校正程序的程序的存储介质存储程序
机译:自动URL链接目的地校正系统,自动URL链接目的地校正装置,自动校正URL链接目的地的方法和自动URL链接目的地校正程序
机译:自动解决联立类型方程式以重新设计代码的类型差异转换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。